Basic Four-Valued Systems of Cyclic Negations

Endpoints of multi-valued cyclic contraction mappings

Endpoint results are presented for multi-valued cyclic contraction mappings on complete metric spaces (X, d). Our results extend previous results given by Nadler (1969), Daffer-Kaneko (1995), Harandi (2010), Moradi and Kojasteh (2012) and Karapinar (2011).

a review of four basic medical education accreditation systems

in today's world, quality improvement of basic medical education is a must for training physicians who are able to meet the growing health needs of our society. one way for quality assurance in higher education including medical education is to develop a system of accreditation which has been in medical education authorities' constant focus recently. this article is a review of national accredi...

Relating adjoint negations with strong adjoint negations

Bitopology and Four-valued Logic

Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...

Universal Approximation of Interval-valued Fuzzy Systems Based on Interval-valued Implications

It is firstly proved that the multi-input-single-output (MISO) fuzzy systems based on interval-valued $R$- and $S$-implications can approximate any continuous function defined on a compact set to arbitrary accuracy.  A formula to compute the lower upper bounds on the number  of interval-valued fuzzy sets needed to achieve a pre-specified approximation  accuracy for an arbitrary multivariate con...